Modeling Subobject-based Inheritance
نویسندگان
چکیده
A model of subobjects and subobject selection gives us a concise expression of key semantic relationships in a variety of inheritance-based languages. Subobjects and their selection have been diicult to reason about explicitly because they are not explicit in the languages that support them. The goal of this paper is to present a relatively simple calculus to describe subobjects and subobject selection explicitly. Rather than present any deep theorems here, we develop a general calculus that can be used to explore the design of inheritance systems.
منابع مشابه
3D Model-based Segmentation of Videoconference Image Sequences
This paper describes a three-dimensional (3-D) model-based unsupervised procedure for the segmentation of multiview image sequences using multiple sources of information. The 3-D model is initialized by accurate adaptation of a twodimensional wireframe model to the foreground object of one of the views. The articulation procedure is based on the homogeneity of parameters, such as rigid 3-D moti...
متن کاملSubobject-Oriented Programming
Classes are fundamental elements in object-oriented programming, but they cannot be assembled in a truly flexible manner from other classes. As a result, cross-cutting structural code for implementing associations, graph structures, and so forth must be implemented over and over again. Subobject-oriented programming overcomes this problem by augmenting object-oriented programming with subobject...
متن کاملAn Efficient Conflict-Resolution Approach to Support Read/Write Operations in a Video Server
In this paper we propose an e cient conflict resolution approach based on the multi disk architecture for the insertion deletion operations on continuous media that are split up into blocks and placed in various locations on the disk without reorganizing the whole data When a new subobject is inserted after subobject i it will be assigned with an identi cation number i and be inserted to a disk...
متن کاملOn reflexive subobject lattices and reflexive endomorphism algebras
In this paper we study the reflexive subobject lattices and reflexive endomorphism algebras in a concrete category. For the category Set of sets and mappings, a complete characterization for both reflexive subobject lattices and reflexive endomorphism algebras is obtained. Some partial results are also proved for the category of abelian groups.
متن کاملThe Subobject Classier of the Category of Functional Bisimulations
We show the existence of subobject classi er in the category of nondeterministic dynamical systems and functional bisimulations.
متن کامل